direct product of rings

环的直积